Axiomatic inscriptional syntax. I. General syntax.
نویسندگان
چکیده
منابع مشابه
Axiomatic Truth, Syntax and Metatheoretic Reasoning
Richard Heck in [2] and Volker Halbach in [1] have recently manifested much interest in an unconventional way of constructing (axiomatic) theories of truth, in which syntactic and logical notions concerning the object theory O are formalised in a disjoint theory of syntax S. In the talk, I shall first argue for the proposed alternative. I will then present the theory CTD[O], standing for compos...
متن کاملTranscendental syntax I: deterministic case
We study logic in the light of the Kantian distinction between analytic (untyped, meaningless, locative) answers and synthetic (typed, meaningful, spiritual) questions. Which is specially relevant to proof-theory: in a proof-net, the upper part is locative, whereas the lower part is spititual: a posteriori (explicit) as far as correctness is concerned, a priori (implicit) for questions dealing ...
متن کاملSyntax
Syntax is the cognitive capacity of human beings that allows us to connect linguistic meaning with linguistic form. The study of syntax is a huge field that has generated a great deal of empirical and theoretical work over the decades. This article outlines why understanding our syntactic capacity is important to cognitive science in general and why the data of syntactic research is to be taken...
متن کاملHomotopy Model Theory I: Syntax and Semantics
A model theory in the framework of Univalent Foundations requires a logic that allows us to define structures on homotopy (n-)types, similar to how first-order logic can define structures on sets. We define such an “n-level” logic for finite n. The syntax is based on a generalization of Makkai’s FOLDS, obtained by an operation that allows us to add equality sorts to FOLDS-signatures. We then gi...
متن کاملکنکاشی در تئوری space syntax
تئوری چیدمان فضایی بر پای? گراف ها و قوانین آنان شکل می گیرد. و هر یال گراف در این تئوری برمبنای دید و دسترسی کاربر وزن دهی و تحلیل می شوند. بین هر دو نقطه در فضا که کاربر دید و دسترسی داشته باشد، برداری رسم می شود و این بردار به عنوان یک یال گراف در ارتباط دیگر یال ها تحلیل و بررسی می شود. نکته همین جاست؛ در درج? اول پارامترهای دید و دسترسی برای وزن دهی به یال های گراف کافی نیستند. ا?عمالِ...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1972
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093894621